Updated to texinfo 4.2.
authorPavel Janík <Pavel@Janik.cz>
Fri, 6 Sep 2002 10:03:59 +0000 (10:03 +0000)
committerPavel Janík <Pavel@Janik.cz>
Fri, 6 Sep 2002 10:03:59 +0000 (10:03 +0000)
commit2b1e4d1dd3cb0f6a2c67364eed9bf18e74b78ca8
tree0309e12e961f6e06ee51d8849177bd4f33fc3216
parent7ae0be5b16df8274296aada05bfbf14321e674cc
Updated to texinfo 4.2.
man/texinfo.tex